I will first review the Batalin-Vilkovisky formalism and its mathematical foundations with an emphasis on higher algebraic structures and classical field theories. I will then move on and discuss recent developments in formulating higher gauge theory with Lie quasi-groupoids as gauge structure. Finally, I will explain how all these ideas can be combined with those of twistor theory to formulate maximally superconformal gauge theories in four and six dimensions by means of quasi-isomorphisms.

I will review recent work on the formulation of self-dual higher (categorified) gauge theory in six dimensions using twistor theory.